else if (vector == IA64_INST_TLB_VECTOR)
vector = IA64_ALT_INST_TLB_VECTOR;
// }
+ if (vector == IA64_ALT_DATA_TLB_VECTOR ||
+ vector == IA64_ALT_INST_TLB_VECTOR) {
+ vcpu_thash(ed,ifa,&PSCB(ed,iha));
+ }
PSCB(ed,unat) = regs->ar_unat; // not sure if this is really needed?
PSCB(ed,precover_ifs) = regs->cr_ifs;
vcpu_bsw0(ed);
IA64FAULT vcpu_get_iha(VCPU *vcpu, UINT64 *pval)
{
- return vcpu_thash(vcpu,PSCB(vcpu,ifa),pval);
+ //return vcpu_thash(vcpu,PSCB(vcpu,ifa),pval);
+ UINT64 val = PSCB(vcpu,iha);
+ *pval = val;
+ return (IA64_NO_FAULT);
}
IA64FAULT vcpu_set_dcr(VCPU *vcpu, UINT64 val)
UINT64 VHPT_addr = VHPT_addr1 | ((VHPT_addr2a | VHPT_addr2b) << 15) |
VHPT_addr3;
+#if 0
if (VHPT_addr1 == 0xe000000000000000L) {
printf("vcpu_thash: thash unsupported with rr7 @%lx\n",
PSCB(vcpu,iip));
return (IA64_ILLOP_FAULT);
}
+#endif
//verbose("vcpu_thash: vadr=%p, VHPT_addr=%p\n",vadr,VHPT_addr);
*pval = VHPT_addr;
return (IA64_NO_FAULT);